1. Domain-theoretic foundations of functional programming
Author: / Thomas Streicher
Library: Library of Campus2 Colleges of Engineering of Tehran University (Tehran)
Subject: Programming languages (Electronic computers) -- Semantics,Computer science -- Mathematics,Functionele programmering,Domein (wiskunde)
Classification :
QA
76
.
7
.
S818
2006
2. Semantics of type theory : correctness, Completeness and independence results
Author: Streicher, Thomas, 8591-
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Programming languages )Electronic computers( -- Semantics,، Functional programming )Computer science(,، Type theory
Classification :
QA
76
.
7
.
S85
3. Semantics of type theory : correctness, completeness, and independence results
Author: Thomas Streicher,Title
Library: Central Library of Imam Khomeini International University of Qazvin (Qazvin)
Subject: Programming languages )Electronic computers( - Semantics,Functional programming )Computer science(,Type theory
Classification :
QA
.
S82
76
.
7
1991
